atomic formula meaning in English
【化学】原子式，结构式。
Examples
- The atomic formula is called atom for short in predicate calculus
在谓词演算中,有时将原子公式简称为原子。 - Remove irrelevant atomic formulas for timed automaton model checking
时间自动机的模型检验中消除无关原子约束 - Removing irrelevant atomic formulas for checking timed automata efficiently . in proc
因此，无关的原子约束是广泛存在的。 - A time constraint is a conjunction of atomic formulas which bound the differences of clock values
时间自动机是可以用于对实时系统建模的有效工具。 - In this paper , it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time - and space - efficiency . such atomic formulas are called as irrelevant atomic formulas . a method is also presented to detect irrelevant formulas based on the test - reset information about clock variables
一个时间自动机是一个五元组n , l 0 , c , e , i ，其中n为一个有穷的位置集合， l 0n是初始状态， c是一个取实数值的时钟变量的有穷集合， e ng c 2 cn是转换的集合。